Structures with Many-Valued Information and Their Relational Proof Theory
نویسندگان
چکیده
We present a uniform relational framework for developing proof systems for theories of manyvaluedness that may have the form of a logical system, of a class of algebra or of an information system. We outline a construction of proof systems for SHn logics, mv−algebras and many−valued information systems.
منابع مشابه
Categorically-algebraic topology and its applications
This paper introduces a new approach to topology, based on category theory and universal algebra, and called categorically-algebraic (catalg) topology. It incorporates the most important settings of lattice-valued topology, including poslat topology of S.~E.~Rodabaugh, $(L,M)$-fuzzy topology of T.~Kubiak and A.~v{S}ostak, and $M$-fuzzy topology on $L$-fuzzy sets of C.~Guido. Moreover, its respe...
متن کاملTruth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملA New Representation Theorem for Many-valued Modal Logics
We propose a new definition of the representation theorem for many-valued logics, with modal operators as well, and define the stronger relationship between algebraic models of a given logic and relational structures used to define the Kripke possible-world semantics for it. Such a new framework offers a new semantics for many-valued logics based on the truth-invariance entailment. Consequently...
متن کاملNew Representation Theorem for Many-valued Modal Logics
We propose a new definition of Representation theorem for many-valued modal logics, based on a complete latice of algebraic truth values, and define the stronger relationship between algebraic models of a given logic L and relational structures used to define the Kripke possible-world semantics for L. Such a new framework offers clear semantics for the satisfaction algebraic relation, based on ...
متن کاملCategories of lattice-valued closure (interior) operators and Alexandroff L-fuzzy topologies
Galois connection in category theory play an important role inestablish the relationships between different spatial structures. Inthis paper, we prove that there exist many interesting Galoisconnections between the category of Alexandroff $L$-fuzzytopological spaces, the category of reflexive $L$-fuzzyapproximation spaces and the category of Alexandroff $L$-fuzzyinterior (closure) spaces. This ...
متن کامل